Reasoning about agents and protocols via goals and commitments
نویسندگان
چکیده
This paper seeks to combine two largely independent threads of multiagent systems research—agent specification and protocols. We specify agents in terms of goal models (as used in Tropos). We specify protocols in terms of the commitments among agents. We illustrate and formalize the semantic relationship between agents and protocols by exploiting the relationship between goals and commitments. Given an agent specification and a protocol, the semantics helps us perform two kinds of verification: (1) whether the protocol supports achieving particular agent goals, and (2) whether the agent’s specification supports the satisfaction of particular commitments.
منابع مشابه
Hierarchical planning about goals and commitments
We consider the problem of relating an agent’s internal state (its beliefs and goals) and its social state (its commitments to and from other agents) as a way to develop a comprehensive account of decision making by agents in a multiagent system. We model this problem in terms of hierarchical task networks (HTNs) and show how HTN planning provides a natural representation and reasoning framewor...
متن کاملLeveraging commitments and goals in agent interaction
Modeling and regulating interactions among agents is a critical step in the development of Multiagent Systems (MASs). Some recent works assume a normative view, and suggest to model interaction protocols in terms of obligations. In this paper we propose to model interaction protocols in terms of goals and commitments, and show how such a formalization promotes a deliberative process inside the ...
متن کاملReasoning intra-dependency in commitments for robust scheduling
Commitment-modeled protocols enable flexible and robust interactions among agents. However, existing work has focused on features and capabilities of protocols without considering the active role of agents in them. Therefore, in this paper we propose to augment agents with the ability of reasoning about and manipulating their commitments to maximize the system utility. We adopt a bottom-up appr...
متن کاملFormalizing Commitment-Based Deals in Boolean Games
Boolean games (BGs) are a strategic framework in which agents’ goals are described using propositional logic. Despite the popularity of BGs, the problem of how agents can coordinate with others to (at least partially) achieve their goals has hardly received any attention. However, negotiation protocols that have been developed outside the setting of BGs can be adopted for this purpose, provided...
متن کاملModel Contextual Variability for Agents Using Goals and Commitments
Goal models have been extensively utilized in requirements engineering as they provide an expressive and qualitative way to represent requirements, while recent extensions related to contextual variability have further increased the expressiveness of the models. In addition to their application in requirements engineering however, goal models have been also proposed in the literature as a forma...
متن کامل